//
// Created by wkm on 2023-12-11.
//

#include "gcd_driver.h"

void gcd_driver::prc_gcd_driver() {

    sc_uint<WIDTH> first = 100;
    sc_uint<WIDTH> second = 0;

    while (1) {
        d_first = first;
        d_second = second;
        d_reset = false;
        wait(5, sc_time_unit::SC_NS);
        second++;
    }
}